<?php
	session_start();
	
	/** On efface les variables SESSION **/
	unset($_SESSION["current_user"]);
	unset($_SESSION["panier"]);
	
	header('Location: index.php');
?>